canonical implicant

标准内项